Computational problem - PDFSEARCH.IO - Document Search Engine

Computational problem
Results: 1172

#	Item
651	World Wide Web manuscript No. (will be inserted by the editor) The Min-dist Location Selection and Facility Replacement Queries Jianzhong Qi · Rui Zhang · Yanqiu Wang · Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2013-05-01 04:15:24 Applied mathematics Search algorithms Computational geometry Diagrams Voronoi diagram K-nearest neighbor algorithm Optimization problem Mathematical optimization Algorithm Mathematics Operations research Discrete geometry
652	Characteristics and Problems of the Gifted: neural propagation depth and flow motivation as a model of intelligence and creativity Francis HEYLIGHEN ECCO - Evolution, Complexity and Cognition research group Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:37 Science Intelligence Computational neuroscience Cognitive science Problem solving Intellectual giftedness Creativity Neural network Working memory Education Mind Educational psychology
653	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory
654	Sage Reference Manual: Numerical Optimization Release 6.6.beta0 The Sage Development Team Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:22 Dynamic programming Operations research Cryptography Combinatorial optimization Knapsack problem Subset sum problem Sequence Exponentiation Linear programming Mathematics Theoretical computer science Computational complexity theory
655	The Parallel Coupling Problem J. Walter Larson ANUSF/APAC Australian National University ANU Advanced Computation (AdvCom) Seminar 1 May 2005 Add to Reading List Source URL: people.physics.anu.edu.au Language: English - Date: 2006-07-31 19:33:51 Applied mathematics Multiphysics Computation Plasma Mathematics Computational physics Numerical analysis Physics
656	A Computational Logic This is a volume in the ACM MONOGRAPH SERIES Editor: THOMAS A. STANDISH, University of California at Irvine Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2007-12-17 11:07:14 Mathematical logic Problem solving Epistemology Logic in computer science Rewriting Theorem Type theory Heuristic Tau Logic Mathematics Science
657	Proc. of the Annual Conference of the Cognitive Science Society (2009, in press) A Computational Model of How Learner Errors Arise from Weak Prior Knowledge oboru Matsuda ([removed]) Andrew Lee (andrewl Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-13 09:41:08 E-learning Transfer of learning Adaptive learning Education Educational psychology Problem solving
658	CS 330 – Spring 2013, Assignment 6 Problems due in the drop-box by 5PM, Thursday, April 18th (Monday schedule that day) Late assignments will only be accepted up until 5PM on Friday, April 19th Question[removed]pts). Cha Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2013-04-05 16:53:19 Applied mathematics NP-complete NP P P versus NP problem NP-hard Theoretical computer science Computational complexity theory Complexity classes
659	Computational Intelligence, Volume ?, Number ?, 1998 ANALYSIS OF HEURISTIC FOR NUMBER PARTITIONING Ian P. Gent and Toby Walsh fipg,[removed] Department of Computer Science, Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:04:54 NP-complete problems Combinatorics Mathematical optimization Partition problem Heuristics Graph theory Heuristic function Bin packing problem Travelling salesman problem Mathematics Theoretical computer science Computational complexity theory
660	Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:10:58 Automated theorem proving Boolean algebra NP-complete problems Constraint programming Logic in computer science Boolean satisfiability problem Davis–Putnam algorithm Satisfiability Unit propagation Theoretical computer science Mathematics Computational complexity theory

UPDATE